翻訳と辞書
Words near each other


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

binhex 4.0binprolog : FOLDOC
BinProlog
Probably the fastest freely available C-emulated Prolog. BinProlog features:
logical and permanent {global variables}; backtrackable {destructive assignment}; circular term unification; extended DCGs (now built into the engine as "invisible grammars"); {intuitionistic} and {linear implication} based {hypothetical reasoning}; a Tcl/Tk interface.
Version 3.30 runs on SPARC/Solaris 2.x, SunOS 4.x; DEC Alpha 64-bit version; DEC MIPS; SGI MIPS; {68k} - NeXT, Sun-3; {IBM RS6000}; {HP PA-RISC} (two variants); Intel 80386, Intel 486/Linux, MS-DOS, Microsoft Windows 3.1 (with DOS-extender {go32} v1.10).
Multi-BinProlog is a multithreaded Linda-style parallel extension to BinProlog for Solaris 2.3.
{(ftp://clement.info.umoncton.ca/BinProlog/)}.
E-mail: Paul Tarau .
(1995-04-04)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.